<html>
<body><p>Reports types that could be simplified.</p>
<p><b>Example:</b></p>
<pre><code>
  def test: ({type l[a] = Either[String, a]})#l[Int] = ???
</code></pre>
<p>After the quick-fix is applied:</p>
<pre><code>
  def test: Either[String, Int] = ???
</code></pre>
<!-- tooltip end -->
</body>
</html>